Assert [$x$; $x$] $\subseteq$ $l$